#ifndef __WRITE_PERM_H__
#define __WRITE_PERM_H__

extern void set_kernel_writable(void);
extern void set_kernel_readonly(void);


#endif
